1. Belief-based Stability in Coalition Formation with Uncertainty :
پدیدآورنده : by Chi-kong Chan, Ho-fung Leung.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra -- Data processing.,Artificial intelligence.,Computer science.
رده :
QA76
.
76
.
I58
B934
2013
2. Formal Grammar :
پدیدآورنده : edited by Philippe Groote, Mark-Jan Nederhof.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra -- Data processing.,Artificial intelligence.,Computer science.
3. Resolution Proof Systems :
پدیدآورنده : by Zbigniew Stachniak.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra -- Data processing.,Artificial intelligence.,Computer science.
رده :
QA76
.
9
.
A96
B993
1996
